『Homotopy Type Theory : Project Description』 - pogi-log

『Homotopy Type Theory : Project Description』

Steve Awodey. Homotopy Type Theory : Project Description. 2009.

Homotopy Type Theory : Project Description

Keywords: type theory(型理論), constructive mathematics(構成的数学), homotopy theory(ホモトピー論), topology(トポロジー(位相幾何学)), higher-dimensional algebra(高次元代数), higher categories(高次元圏).